formal method
[网络] 形式化方法；形式方法；形式演绎法
热门查询
- Duval [人名] 杜瓦尔; [地名] [加拿大、海地] 迪瓦勒
- Grecian n. 希腊学家；希腊语 adj. 希腊的；希腊式的
- ablaze adj. 着火的；闪耀的；激昂的 adv. 着火；闪耀
- relegated vt. 把降低到；归入；提交
- zoom vi. 嗡嗡作响; 急速上升 n. 嗡嗡声; 隆隆声; （车辆等）疾驰的声音; 变焦 vt. 使急速上升; 使猛增
- Isolde n. 伊索德（人名）
- seamount n. 海底山
- ode n. 赋；颂歌；颂诗
- regan n. 里根（人名）
- loading n. 装载；装货；装载的货 v. 装载，装填，担负（load的ing形式）； 装入
- visualize vt. 形象，形象化；想像，设想 vi. 显现
- biogeographic adj. 生物地理的
- stand n. 站立；立场；看台；停止 vi. 站立；位于；停滞 vt. 使站立；忍受；抵抗
- Charnwood n. (Charnwood)人名；(英)查恩伍德
- muzzy adj. 无精神的；迷糊的；发呆的 n. (Muzzy)人名；(英)马齐
- headlight n. 汽车等的前灯；船上的桅灯；矿工和医生用的帽灯
- jigsaw n. 拼图玩具；线锯；镂花锯 vt. 用线锯锯
- employed adj. 被雇用的 vt. 雇佣（employ的过去分词）
- idiot n. 笨蛋，傻瓜；白痴
- ikat n. 伊卡特（纱线扎染织物）
考试词汇表
- Preauricular dimple
- Preauricular region
- Precambrian(period)
- Precardial friction
- Prececal lymph node
- Precipitates,Immune
- Predatory Behaviors
- Predental Education
- Prediction,Bayesian
- Prednisoloni Acetas
- Preference,Consumer
- Preferences,Patient
- Pregabalin Capsules
- Pregl's test letter
- Pregnancies,Ectopic
- Pregnancies,Ovarian
- Pregnancies,Planned
- Pregnancies,Preteen
- Pregnancies,Teenage
- Pregnancy Histories
